تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۱,۹۱ ثانیه یافت شد.

1. Closure properties and kripke models for fragments of heyting arithmetic

پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza

کتابخانه: (طهران)

موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها